Construction of Lyapunov functions by validated computation
نویسندگان
چکیده
We provide a systematic method to validate the domain of Lyapunov functions around hyperbolic fixed points both for continuous and for discrete dynamical systems with computer assistance. We also give the construction of Lyapunov functions around periodic orbits as fixed points of Poincaré maps as well as validation examples in our talk.
منابع مشابه
Construction of strict Lyapunov function for nonlinear parameterised perturbed systems
In this paper, global uniform exponential stability of perturbed dynamical systems is studied by using Lyapunov techniques. The system presents a perturbation term which is bounded by an integrable function with the assumption that the nominal system is globally uniformly exponentially stable. Some examples in dimensional two are given to illustrate the applicability of the main results.
متن کاملDecompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based reasoning to decompose hybrid automata into subgraphs, for which we then solve semidefinite optimization problems to obtain local Lyapunov functions. These local computations are made in a way that ensures that the fa...
متن کاملComputation and Verification of Lyapunov Functions
Lyapunov functions are an important tool to determine the basin of attraction of equilibria in Dynamical Systems through their sublevel sets. Recently, several numerical construction methods for Lyapunov functions have been proposed, among them the RBF (Radial Basis Function) and CPA (Continuous Piecewise Affine) methods. While the first method lacks a verification that the constructed function...
متن کاملComputation of Lyapunov functions for systems with multiple local attractors
We present a novel method to compute Lyapunov functions for continuous-time systems with multiple local attractors. In the proposed method one first computes an outer approximation of the local attractors using a graphtheoretic approach. Then a candidate Lyapunov function is computed using a Massera-like construction adapted to multiple local attractors. In the final step this candidate Lyapuno...
متن کاملDetermination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method
Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015